Faithfulness of bi-free product states