When checking DRC using sky130A_mr.drc, what are the options we must turn on if we are checking the hardened user project area?