[virtualization] tweaked to help z3 handle quantifiers; multicast verifies in both directions now
[virtualization] tweaked to help z3 handle quantifiers; multicast verifies in both directions now

ryzhyk/cocoon