Work on bug #2

We have a bit more of a pipeline for moving from the NIST file format to
JSON, but it's all in small little pieces, it should be OK.  There's one
last piece, which is to write the actually tester.