Vector changes now starts with size 0.

This doesn't seem to effect run-time, and only in this way the parameter
max_number_changes is fully meaningful.
Switched to a clause-length of 64 (from previously 32).

This doesn't seem to incur a run-time cost.
Small correction (for changes_index < changes.size() always true).