Add sequential symbolic modulus performance test
Add sequential symbolic modulus performance test

This performance test illustrates the strengths and weaknesses
of symbolic execution with a depth-first search strategy. Note
that the measurements are about sequential code analysis.

ahorn/smt-kit,ahorn/smt-kit,ahorn/smt-kit,ahorn/smt-kit,ahorn/smt-kit