Split up the assertions into seperate traits
Update README