Merge branch '96-balanced-set' into 'master'

Fix tests for Data.Set; use balanced invariant instead of log_size (which was always True)

Closes #96

See merge request !340
1 job for master in 1 minute and 18 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
failed #102791
test-nightly

00:01:18

 
Name Stage Failure
failed
test-nightly Test
make: *** [Makefile:67: commentstest] Error 1
make: Leaving directory '/builds/clean-and-itasks/clean-platform/tests/linux64'
Uploading artifacts...
WARNING: junit.xml: no matching files
ERROR: No files to upload
Uploading artifacts...
WARNING: junit.xml: no matching files
ERROR: No files to upload
ERROR: Job failed: exit code 1