Create a test suite for LifetimeDependence type checking & inferrence

Test the matrix of possibilities that need to be handled by the type
checker. This tracks the implementation of LifetimeDependenceChecker.

Author: atrick