look into extending `ContractOperationError` with state machine transition errors

[bekauz]

          Why not extend the `ContractOperationError` (i.e. with an `InvalidOperation`) vs adding a new error type ?

Originally posted by @stiiifff in #282 (comment)

follow up on this after all FSM logic cleanup and clock tick mode issues to see what makes the most sense at that point