All four can be used, but your explanations of C and D are false: C is not married and D is married . A/D and B/D are simply two ways to express the hypothetical situation: A and B are subjunctive while C and D are indicative ways of indicating unreal conditions.
New words, one handy idiom, and a 2-minute quiz — delivered to your inbox to keep your streak alive.
Mister MicawberYes. Your links do not discuss 'was' in 'if'-clauses.