Lists as inputs

[francogrex]

1. It seems that lists as inputs aren't supported in vamp-ir: for example pub somelist; results in value: UndefinedGlobalList { v: Variable { name: Some("somelist"), ...
2. Public inputs are used during proof generation, but can they be selectively passed explicitly during the verification phase too? (that may be though a halo2/plonk question)