Explore Possibly Preventing Buffer Over/underflow

[siromivel]

I don't know that this is possible, but it would be really nice if we could ensure safety while functions being passed into Lambdeth are executed. Solidity does not allow operator overloading so we should explore any other avenues to enforce use of SafeMath.sol or similar libraries.

If this isn't possible it's not terrible, production contracts should be audited either way this would just be a nice way to take some of the burden off of security auditors.