Added more assertions and put some examples in the example and README