Add contract checking support to schedule/connect/start

The code assumes that the contracts will be followed and invokes undefined behavior when they are not. This reduces confidence when landing changes. Introduce wrappers that check contracts and terminate on violations. Use these wrappers in the schedule/connect/start cpos to increase confidence in changes.