Field Overflow Checks

[DavePearce]

The goal here is to introduce "field configuration parameters" which describe the underlying field being used. A key to this is that we should be able to introduce checks to ensure arithmetic operators don't overflow.