Why doesn't my simple mesh wall "difference boolean cut" the door away?
BMesh solver (the one used by default by the boolean modifier) don't like when two faces are coplanar, like the lower faces of your wall and door.

You can move down your door a bit (or just move down it's lower face).

You can also change the solver used by the modifier. In Solver, instead of BMesh, select Carve.