quickcheck reaching infinite loop on decrypt block
passing all quickchecks