Add sketch for next-gen z3-based bidder.