Add triple and datalayout strings to testcases.

This allows them to be run without specifying any command-line options,
which is convenient.
Handle conflicting lifetime markers conservatively.

Avoid infinite looping in AllocaManager::computeInterBlockLiveness,
without using new temporary variables. This also makes it clear that
the algorithm is conservative in the face of conflicting liveness
intrinsics.