Compilation of Aztec contracts using the elaborator doesn't emit note definitions

[TomAFrench]

See CI failure here

I'm imagining that this is due to lazy elaboration of globals resulting in these being dropped before being added to the ABI.