core: more compile time assertions and doc#48

tcoratger merged 3 commits intoleanEthereum:mainleanEthereum/leanSig:mainfrom

tcoratger:const-assertions1tcoratger/leanSig:const-assertions1Copy head branch name to clipboard