Added the rest of the asserts
Added a few more details to the readme