xmss: stronger typing checks and tests#175

tcoratger merged 1 commit intoleanEthereum:mainleanEthereum/leanSpec:mainfrom

tcoratger:xmss-typestcoratger/leanSpec:xmss-typesCopy head branch name to clipboard