A concern:

How would one go about differentiating between those potential checks which are blocked by pieces and those that are not?  It seems as if this would be difficult to overcome when attempting to obtain any type of lower bound on the total number of illegal positions (and thereby given that we know the total number of positions, both legal and illegal, an upper bound on the total number of legal positions) given your first assumption.  The other assumptions, with the exception of non-adjacent kings I don't believe would shave away many of the possibilities, relatively speaking, but I could certainly be wrong!