Short circuit instruction set containsAll based on set size

1 job for topic/merge-opt in 7 minutes and 28 seconds (queued for 14 seconds)
latest