Change `debug` and `dump` from parameters to integers for debugging

You can turn on and off these parameters directly in a debugger while the run
code is running.