Add more Introvert tests and command-line arg handling

Fixes #1 and #3.