Add manual timer
Add timers to native symbolic execution library
Add stats about native symbolic exection