Adding monad law checks.
- Updating the README as well.