I just did some tests, and with the VirtIO SCSI discard option on, deleting a (large) file from the guest DOES NOT reduce the usage on the host.
When fstrim is run in the guest, the usage is then reduced in the host.
As such, the recipe in #4 is the approach I'm taking.
EDIT: Running fstrim...