add verbose messages to all assertions (fix #21)