Test BindingMismatch for expression upgrade warnings

[dylant-da]

Currently there is no good way to test BindingMismatch errors in upgrades, because LF turns lambdas into their own top-level definitions, which are not expanded by the expression equality checker. We're disabling the following test in the meantime.