what4-abc fails to compile due to missing cases for `CopyArray` and friends

[RyanGlScott]

After 95fd577, what4-abc fails to compile:

$ cabal build what4-abc
Build profile: -w ghc-8.10.4 -O1
In order, the following will be built (use -v for more details):
 - what4-abc-0.1 (lib) (file src/What4/Solver/ABC.hs changed)
Preprocessing library for what4-abc-0.1..
Building library for what4-abc-0.1..
[1 of 1] Compiling What4.Solver.ABC ( src/What4/Solver/ABC.hs, /home/rscott/Documents/Hacking/Haskell/what4/dist-newstyle/build/x86_64-linux/ghc-8.10.4/what4-abc-0.1/build/What4/Solver/ABC.o, /home/rscott/Documents/Hacking/Haskell/what4/dist-newstyle/build/x86_64-linux/ghc-8.10.4/what4-abc-0.1/build/What4/Solver/ABC.dyn_o )

src/What4/Solver/ABC.hs:292:3: error: [-Wincomplete-patterns, -Werror=incomplete-patterns]
    Pattern match(es) are non-exhaustive
    In a case alternative:
        Patterns not matched:
            CopyArray _ _ _ _ _ _ _ _ _
            SetArray _ _ _ _ _ _ _
            EqualArrayRange _ _ _ _ _ _ _ _ _
    |
292 |   case appExprApp ae of
    |   ^^^^^^^^^^^^^^^^^^^^^...