Check integration test trace expectations related to deal publishing

[anorth]

Some complex calls related to deal publishing don't have trace expectations checked in integration tests. This means that some inner calls might not be working how we expect them, and we could fail to detect unexpected changes in behaviour caused by code change.

• The DealBatcher doesn't check expectations when publishing
• Deal activation isn't checked during prove commit