Use MonadBlockChainWithoutValidation when possible

[gabrielhdt]

Functions slotRangeBefore and slotRangeAfter have been modified so that their type is MonadBlockChainWithoutValidation => ... instead of MonadBlockChain => ....