What to verify whenever an Anchor program derives or accepts a PDA.
The bug classes to check for in every Solana program.