Interpreter should do stronger tests for legal input values

[chick]

It is possible to poke values into input that exceed the widths.
In particular using the InterpretiveTester poking concrete values
the type and width is not checked but it should be, it can lead
to peculiar errors.