Contract Checker

• YT: The Do's and Don'ts of Error Handling - Joe Armstrong
• It takes two to contract (assert in pair): https://tigerbeetle.com/blog/2023-12-27-it-takes-two-to-contract