add opBinary + and * to SBP, which means digital shift and increment dimF2 respectively, add randomsearch.d