Formal Verification Advances Enable Perfect Shielded Pools