Add a Counter64 test case

This isn't actually more complicated, it's just that the case where we
have a width of exactly 64 is yet another special case because LLVM's
extension nodes claim not to support extending two types of exactly
the same size (though it seems silly not to...).