Add parameters to `GreedyPauliSimp` to limit search space

[yao-cqc]

These parameters should limit the lookahead when deciding the best candidate as well as place a cap on the number of candidates evaluated at each step.