Including b* into hons-check memoize-tests.lisp.  If someone cares, they can change it from a b*.  Fixes #matt's email :D