Dexfuzz: Added --divergence-retry option.

This option controls the number of retries done when checking for self-divergence.

Test: dexfuzz --inputs=seeds --execute --arm --optimizing --interpreter --repeat=100 --divergence-retry=20

Change-Id: I90e2705e40c6f23d47ddbb856828147c4f6a4157