Prov Test Cases

Make test cases useful to others (Sorry Terry)

* Fix test case: loading from output file.
* Fix output file test case uses so it can load it (oops)
* Include more asserts to make clear[er] expectations
* Clear out junk from trying to debug results of Nick's changes