Wyślij wiadomość: End-to-end formal verification of a RISC-V processor extended with capability pointers