make word8_to_val_def an automatic rewrite
fix proof of bc_next_not_Tick_any_clock