Added selection support for r: and selection with relational operators
Added BTOR backend README file
Merge branch 'master' of github.com:cliffordwolf/yosys
Simplified select "Assertation failed" message generation