progress in debugging, but still don't match TVs
a major bug found -- wrong initialization values

Only had 32 bytes, needed 64 bytes (since we're using SHA-512 not
SHA-256).  I think the bug now is in my test setup...
Merge branch 'master' of github.com:keybase/triplesec