improve performance of bytes sbv.
add @Override to select0.
follow recent change of Bytes/LongsSBV that the type of indexCache0 was
changed from int[] to IntArray.
IntArray instead of int[] for indexCache0.
assert message should be built before assert.
fix test case.
IntArray class.
support IntArray.