Games of Knightian Uncertainty as AGI testbeds