Checkpoints must fail the test when they are flagged more number of times than initially specified

[macjunk-ie]

I was expecting this test to fail but it passes:

 @org.junit.jupiter.api.Test
    public void checkpointsShouldFail_ifMoreThanRequiredNumberOfFlagsWereMarked(Vertx vertx, VertxTestContext testContext) {
        Checkpoint checkpoint = testContext.checkpoint(3);
        checkpoint.flag();
        checkpoint.flag();
        checkpoint.flag();
        checkpoint.flag(); // This flag must have caused the test to fail
    }

Similar to Mockito's behavior, is it feasible for checkpoints to fail if they see more flags then expected?
This is especially relevant since checkpoint is the strict version unlike the laxCheckpoint

[jponge]

Flagging 4 times a strict checkpoint shall indeed fail. I'll try to reproduce locally.

[jponge]

See #114