Minimize: restructure `ConstValue` minimization

[essickmango]

Currently the minimizer only supports a few const values, and it assumes they are all represented as scalars. However what should actually happen is that it should recursively translate the const value using the API from https://github.com/rust-lang/rust/pull/121396, and therefore support arbitrary types.