added some assertions for testing insert() and removeMin()