Just a quick note for posterity that we ended up solving this by making a small compatibility plugin: GitHub - ClassicPress/cc-compat-woo: Plugin to facilitate Classic Commerce compatibility with WooCommerce Addons
Its only function in its current version is to make the is_plugin_active( 'woocommerce/woocommerce.php' ) check return true.
Classic Commerce users are prompted to install it if needed.