A non-linear laser interferometer model and its use for drag-free system verification