Implement assertions

Add assertions to detect internal errors