rida does not recognize main like ida does

push/jmp pairs
exit blocks with only 1 instruction
known functions

Also rida now the default

Merge branch 'origin/17-elide-instrumentation-for-basic-blocks-with-1-incoming-or-outgoing-edge' into 'master'

Origin/17 elide instrumentation for basic blocks with 1 incoming or outgoing edge

See merge request allzp/zfuzz!1

Conflicts:
	test/bench/binutils.spec