Document circuitpathbias in detail

We have some tricky abstractions and patterns here that could use more documentation.