Thank you Mike for logging this in the core. Defaulting to the billing address would be the most likely use case. Anyone got a code snippet / filter on how to do this now?
BTW, what is the purpose of Woocommerce Shipping option located in “Shipping > Shipping Options > Shipping Destination” to “Default to billing address” I had assumed this was already the case?