Overflow checks

Add code to give assertions or errors when buffers are greater than 2^31 - 1 in either the product of their extents or the total allocation size. Should fix issue #123.