Added a test for deterministic, zero - we can just use UseFiles with no
quantifiers.

On doing so I noted that we need to add a flag to SimplestQEA saying
whether it is zero or one quantified. I've added some comments.

This might get complicated when we want to mix events with one and zero
quantified variables.