Updated README to have spec caveats, more correct running of tests