Added tests for can-say with infinite delegation
Added inital code for generating proofs rather than bools