Add tests for 64-bit integer lowering.  Refs #13.

There are still some TODOs marked in the test file.
- signext/zeroext of args and return values is needed (#25)
- A pointer-type function arg is being accessed as its pointed-to type.