Binary search in unsorted array

It's likely a bug, a binary_search is done on an unsorted array.

In remove_member_from_blacklist, the member is removed after binary search, but the members are added in on_offence handler at the end (push).

changed milestone to %runtime-801

added bug label

assigned to @bgallois

mentioned in commit 67d12a8a

mentioned in merge request !237 (merged)

mentioned in commit e63191ab

closed with commit 3e644842

closed with merge request !237 (merged)

mentioned in commit 3e644842

changed milestone to %runtime-800