Support AUTO INCREMENT and DEFAULT values

[KinanBab]

• [ ] Merge/adapt Mithi's changes on default-values branch
• [ ] Ensure values make it to dataflow
• [ ] Ensure values are consistent when data is shared (same PK/AUTO-INCREMENT is used for all copies)!
• [ ] Update lobsters harness to Ishan's version with auto increment IDS