Proof Engineering For Large-Scale Verification Projects