wip: feat: add support for z3 bit rotate exts

rosette (for convenience) provides functionality to download and install
a z3 binary during raco installation. unfortunately this package is
currently very out of date, so this commit removes all install-time
functionality, causing rosette to fall back to searching for the z3
binary in the system PATH

rosette/solver/smt/dec.rkt

@@ -15,7 +15,7 @@
                   @bvnot @bvor @bvand @bvxor @bvshl @bvlshr @bvashr
                   @bvneg @bvadd @bvmul @bvudiv @bvsdiv @bvurem @bvsrem @bvsmod
                   @z3_ext_rotate_left @z3_ext_rotate_right
-                  @concat @extract @sign-extend @zero-extend))
+                  @concat @extract))
 
 
 (provide decode-model)
@@ -132,10 +132,6 @@
         (bv n (bitvector len))]
        [(list (list (== '_) (== 'extract) i j) s)
         `(, @extract ,(inline i sol ~env) ,(inline j sol ~env) ,(inline s sol ~env))]
-       [(list (list (== '_) (== 'sign_extend) i) s)
-        `(, @sign-extend ,(inline i sol ~env) ,(inline s sol ~env))]
-       [(list (list (== '_) (== 'zero_extend) i) s)
-        `(, @zero-extend ,(inline i sol ~env) ,(inline s sol ~env))]
        [(list (== 'let) binds body)
         (substitute (inline body sol ~env)
                     (for/hash ([id:expr binds])