Add assertions for contracts

[kylecorry31]

• require for parameter checks
• check for state/return checks

Applies to most functions