Fix issues with tests, connection closing, and misplaced copyright

The first line of the bin/lemma_verification file must be the hashbang.
Lemma Verification tests should assert against parsed JSON, not JSON strings.
The host cannot assume that it is responsible for closing connections. If a connection has been closed by the client before the host can terminate it, it must gracefully handle that case and not raise an Exception.