minor refactor + add kernel-crypto AES-CBC support
Merge branch 'master' of github:GaloisInc/hacrypto
enable non-MC kernel-crypto SHA tests