Add post-phase-f and -fsm to contracts
Fix primitives test for update api signatures