Change the default to threading (#1779)
Change the default to threading (#1779)

Co-authored-by: Eric Hennenfent <121b608d87d56179d19f2fe2c13641b98fa329db@trailofbits.com>
trailofbits/manticore,trailofbits/manticore,trailofbits/manticore