Do not run poseidon and aegan with -a (used for clean bench rerun only)
Updated docs on naked functions