utils/t/bits-testgen.py: Set the `SEED' from the command-line correctly.