Where you add safety checks like that is a top-down system organization issue, not something you can couch quarterback while looking at twelve lines from a mill

Where you add safety checks like that is a top-down system organization issue, not something you can couch quarterback while looking at twelve lines from a million-line codebase. There is simply no way to determine if an assert is appropriate without further context, and it has nothing to do with the choice of algorithm.