Common Xs.

Utilities for finding common Xs.
Uncovering now accepts bit positions in which Xs can be ignored.
Uncovering all Xs now ignores Xs which are common to all columns.
Loosen correctness check for routing to cores.
Pretty printing core sets.
Timing and core merging for cmd line.