(test) Added test of explicit failure in a thunk.
(test) Added test for ensuring laziness.