Update rubic.v

formatting and indentation changes.