fixed a bug in the sequence inputs that caused an extra input at the end.

closes #92
Merge branch 'master' of github.com:GaloisInc/hacrypto
Found the bug that's probably causing the RNG problem:
the fixed output was incrementing after creating the string, meaning it was giving
a different value to the output function than it was printing to the file.
closes #93