Initial experiments in 'formal verification' of authorization tooling. Current state is not to be trusted, but we are not in a security critical situation, so that is fine. Signed-off-by: Zachery Aaron Shores-Chmielewski <zacheryasc@gmail.com>
