[CSL-110] added CHECK comments to Pos.Block.Logic
[CSL-110] added CHECK comments to Pos.Block.Logic

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