Collect some benchmark data and determinate the best smt solver to use/recommend

[gustavo-grieco]

In most of the cases, SMT solvers take the majority of the time when we run manticore. We have a auto selection for it and upcoming portfolio of them, but it is unclear what is the best one to recommend.