chore: remove unused slot timing constants#132

tcoratger merged 1 commit intoleanEthereum:mainleanEthereum/leanSpec:mainfrom

unnawut:unused-constunnawut/leanSpec:unused-constCopy head branch name to clipboard