HOF support code, robustness, and oasis setup

- Better pretty-printing in Arith_util
- Return proper exit code from cs691f tool