Warn when using priorities without applying PrioritizedBSyncEventSelectionStrategy

[ZvikaZ]

Currently, when using priorities in events (such as in

BPjs/src/test/resources/TicTacToe-Pure-JavaScript-Version.js

Line 283 in 865d834

bp.sync({ request:[ O(1, 1) ] }, 35);

,

BPjs/src/test/resources/TicTacToe-Pure-JavaScript-Version.js

Line 290 in 865d834

bp.sync({ request:[ O(0, 0), O(0, 2), O(2, 0), O(2, 2) ] }, 20);

) we need to add
bprog.setEventSelectionStrategy(new PrioritizedBSyncEventSelectionStrategy());
in the Java runner.

It'd be nice if a warning will be issued if priorities are used in the code, without applying proper strategy.