valve-lash-calc

Actually use bucket ID to compute weight instead of BUCKET_INV index; update None choice weight

Clean up

Skip remaining choices for pos if possible; keep track of total_weight lower bound

Fix uniqueness bug; pre-sort by number of choices; other refactoring

Print out solutions as it finds them