Trysafe math & error recovery

[rachel-bousfield]

• Adds a new kind of safemath that returns options rather than erroring
• Handles out-of-gas scenarios at the end of transactions