Added verilator SKIP for shift by over 32-bit number