Add an option to build vec tests for TBM.

Testing many AVL values results in traces that are too long for TBM.
Hence, use only one value.

Change-Id: Id16899129e982b991d9585f27ab342659ce76b4b