Incremental Verification for Physical Synthesis