Temporarily disable 3 specific-bugs tests. Remove 'xref size mismatch' test.
Also add new fuzz test case.
