Check for non-constant bv rotate btor2 frontend

Check for non-constant bv rotate btor2 frontend #9