Add more comments about how we do fencing for WALProcedureStore

After reviewing the code carefully, I think maybe the current fencing implementation could work. Need to add more comments about the implementation, and give some assumptions so that it will be much easier for the developers to understand the logic.