Copy-pasto.
Mention '-fno-ignore-asserts' in documentation.

(Closes: #8617)