Remove unchecked arithmetic from Gas and Motes

[mpapierski]

We should remove unchecked operators such as Add, Sub, Div, etc., from Gas and Motes types. Subtle and hard to detect bugs can happen with uncareful use of this. All operations on Gas and Motes should only be through checked_add. We also don't need to bring num_traits here as it requires unchecked traits implemented.