Check inputs to compiled functions

Similar to #49: as of #112 we necessarily do some checking to make the data fit into the shape expected by our ABI, but we don't prevent invalid values that happen to fit the same shape, such as out-of-range `Fin`s.