Comprehensively enhance security-audit.md with detailed Solana program verification and checks documentation

Co-authored-by: larp0 <[email protected]>

Author: Copilot