A bunch of bug fixes/simplifications, and implemented thread info printing