Added concise argument to test harness, and more tests; Also fixed foramtting for some tests