pkg/resolve: change decimation parameters
pkg/resolve: use Matrix{Bool} instead of BitMatrix

for faster access in performance-critical points
pkg/resolve: a few performance tweaks
pkg/resolve: update after each decimation
pkg/resolve: add final decimation as safeguard
pkg/resolve: improve optimality check

more efficient; actually enforces local optimality