Updated the test-vector dumps according to comments in #25.