Add hasIgnore() to CanIgnore; use it

In particular, a CGStep will now, like a few other steps/solvers,
treat a missing ignore the same way as an ignore whose every entry is
false.