Change order for borrow expiry / reference weakining

[zgrannan]

The borrow edge should expire before the reference capability is downgraded. Otherwise, the Prusti encoding will fail because it can't get the snapshot of the reference when applying the wand for the expiry.