Added some basic support for termination checking using metrics involving bitvectors instead of integers.