Add current assertions to README