weights / violations revert, added examples

1. Constraint weights and violations are once again assumed to be lists,
rather than dictionaries. The relevant functions have been updated. Any
tableau passed in need to conform to this.

2. Added example weights and an example tableau to the bottom of the
file for testing purposes.

3. Various cosmetic tweaks.