Added more assertions and updated example.html and README to show them