Document circuit abstraction, completely

We should document how exactly circuits work as a part of our overall documentation efforts.