make BitsTricks test more termination-friendly
make BitsTricks test more termination-friendly

counting from 31 down to 0 instead of from 0 up to 31

epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless