> where algorithms can become accidentally quadratic or worse without being noticed ("it's just a loop so it must be linear"...)

This is a takeaway message for me. With some luck I’ll remember that sometime