Better autonomous search

[EmirDe]

Now we rely on VSIDS, but we have potentially better version of it. Just noting here so we do not forget about it! We also had several successful BSc projects on this, so we could look into it.