ChainSecurity, Certora and zeroShadow Updates

Proposal Updates Dec 2nd

The following proposals have been reviewed, and no issues were found:

510
511
512: This repeats proposal 489.

Proposals 506 and 507 have been cancelled as some parameters require revision after discussion.