basic test with compression. This time there is a mismatch and the proposal should fail.

"westnet-eastnet": 192.0.1.0/24===192.1.2.45[@west]...192.1.2.23[@east]===192.0.2.0/24