Fuzzing Method for Web-Assembly Module Safety Validation