Create en enum for uninterpreted z3 functions

[surovic]

My recommendation would be make all of these strings into global std::stringthat represent your "abi" of sorts for interfacing with z3.

Originally posted by @pgoodman in https://github.com/lifting-bits/rellic/pull/121#discussion_r633642031

note: maybe try mapping this onto some enum or static array