Consider enabling more lints

[stegaBOB]

clippy::undocumented_unsafe_blocks, and clippy::multiple_unsafe_ops_per_block are very useful for avoiding UB and ensuring all unsafe calls meet their invariants.

clippy::pedantic also gives quite a few useful lints, particularly around ptr casts among other things, that would likely also benefit Pinocchio!

[bonedaddy]

It might also be worth integrating analysis with tools like rapx, especially

    -I or -infer    (under development) infer the safety properties required by unsafe APIs.

[rustopian]

It might also be worth integrating analysis with tools like rapx

Interesting. Especially if we informed rapx of Solana runtime guarantees.