Merge "Remove the 'optional' tag from demangle_fuzzer"