Update outdated scripts

[defunctio]

trafficstars

Some of the scripts in scripts/* are pretty old and should be updated, replaced or discarded.

[disconnect3d]

I've changed benchmarking script into profiling script: https://github.com/trailofbits/manticore/pull/1285

Not sure about verify.py, extract_syscalls.py and stats.py.

[legendkartik45]

Hey, I would love to work on this issue