Verify non-Android Tor binary as well

2 jobs for non-android-verification in 44 minutes and 53 seconds (queued for 3 seconds)