Fix AuthCert behavior on unrecognized tokens, and prevent bug from recurring elsewhere.
This branch fixes a bug in our AuthCert handling (see #752 (closed)), and adjusts the interface for constructing SectionRules
so that the bug cannot recur.
Closes #752 (closed).
Edited by Nick Mathewson