[CSL-162] Fix bunch of bugs + decrease step with fails
[CSL-162] Fix bunch of bugs + decrease step with fails

input-output-hk/cardano-sl,input-output-hk/cardano-sl,input-output-hk/pos-haskell-prototype,input-output-hk/cardano-sl,input-output-hk/cardano-sl,input-output-hk/pos-haskell-prototype,input-output-hk/pos-haskell-prototype