Name all polynomial constraints

[daira]

zcash/halo2#286 added the ability to name polynomial constraints within gates. We should use this consistently. (Usually, the annotation can be in place of a comment, so it doesn't actually make the code any less concise, and it helps debugging.)