Improve benchmark compilation to respect config

If benchmark=True in config.yml then the lib will try to compile ROLLO-I ROLLO-II and RQC no matter what is in config.yml

This is probably because of the "benchmark-all" target, maybe it should be reworked completely