Add a super bare-bones explorer for the z3 bidder.  This adds a Rule property to History which may be the wrong abstraction but works for now.