Simplified syzextra testing