Add optimisation rule for size of Vec_init

[toelli-msft]

This is needed as part of https://github.com/microsoft/knossos-ksc/pull/766 but seems useful to have on its own beforehand.