Few questions about assert

[UIZorrot]

I notice that there are many assert statements in this form:

assert(n == 86 && k == 3)

I wonder why should we need these assert, instead of just using const in the template?