Add a message to assertion errors

Checks are good, but knowing where the problem comes from is better. So either:

• add messages to assertions that don't have any (like here)
• remove these assertions