Added unit tests for the Reader monad laws