To close out this thread: I ended up buying the Yale Assure Lock 2 (YRD450-ZW2-619) which is finally available with the z-wave module. It (unfortunately) came with the 500-series Z-wave module (AYR-MOD-ZW2) and not a 700-series or 800-series module.
The connection to Hubitat is working great, and I was able to expose the lock to Google Home via the Community-maintained Google Home integration.
I also bought (second hand via eBay) the August Connect Wi-Fi Bridge (AC-R1) so I could get Bluetooth (built-in) + Z-wave (Smart Module) + WiFi (Connect Bridge), but I'm not 100% sure I need the WiFi Bridge, or what value that is adding, so I may ditch that.
