Clarify using assert

[wojtask]

In certain situations assert X is required in Python code to satisfy mypy when using type assertions. Clarify that in the list of pseudocode -> Python translations.