All integers in var_ops.Print() now just get tostring()'d (since the format specifier couldn't deal with ones of 33-bits and up, and also presumably negatives), plus an option (and corresponding vdump variant) to allow hex output; bit vector functional, incorporated directly into Hungarian algorithm, did away with various cores (probably will still have the bit vector itself branch according to bit lib availability)