Craft Commerce stock not updated when order deleted
Definitely deliberate.  Inventory reduction when an order is placed is a "convenience" thing.

There are a million reasons why an order might be deleted and only a handful of them would have anything to do with inventory.

But as André points out... you could write a simple plugin to have whatever behavior you wanted around this.