feature: integration of thoth

[pventuzelo]

• use thoth to get interesting variable/constant
• use thoth exec symbolic to generate inputs