Yesterday: Worked on proof_regfile.py, had to do a bit of a reorg at luke's direction because I was mixing python and nmigen AST variables. Today: Continue working on proof_regfile.py with luke