Added complex theories to TestShuffler.
Fixed a bug with negative offsets.