Add a note how to speed up SMT query solving

A note how to use a specific KLEE branch with ``BitVector`` encoding to speed up SMT query solving.