Don't hardcode constant values

[benesjan]

Now that constants get evaluated thanks to Facundo's PR before them being generated in the TS file we can use constant propagation in Noir. This should be done to not make updating of constants pain. See this discussion for more context.

Note: Currently blocked because we don't use the new elaborator in aztec-packages.