A bunch of miscellaneous fixes

Time stamps for console output isn't always helpful, maybe make that configurable?