[nhadastf] Profile directed integer width optimization

Run the program first with all integer variables implemented with arbitrary precision arithmetic.  Instrument the program to keep track of the range of each variable exercised.  Automatically modify (optimize) the program to use fast machine-precision arithmetic where possible, inserting assertions and overflow checks as necessary.

The floating-point analogue is harder, and seemingly ill-defined.