Added test_navre.ys for verific frontend
Small improvement in SAT log messages
Copy Verific vdbs files to Yosys "share" data directory