Update conceptual requirements for root finding algorithms, and add concept test for them.