math/cvc4: Mark BROKEN, doesn't build

Fails with src/expr/expr_template.h:0: error: undefined replacement ${getConst_instantiations}
on multiple platforms

PR: 266721
Reported by: pkg-fallout