Text this: Sequential Consistency Per Location Theorem Proving in RISC-V Memory Consistency Model.