Add correctness test for pmaddwd