fixed the binary search test, disabled assign_random_bits() properly, changed SWORD to Boolector