Prepending "#" to lines from print() and print_formula()
Switching to unsigned ints where applicable
Adding conditional logging via verbosity option