Fixed a couple of bugs in the difficult branch handling.

Firstly, already-known-difficult branches were not being ignored as they should.
Secondly, difficult branches were not properly supported in RandomAccessSearch because it did not re-calculate the PC and because the PCs it built were in the reverse order from what ConcolicRuntime expects.
Fix assertions to test cases changed in 3949ec20.