[Sim] Replace sim.func.dpi.call with sim.func.call and improve a verifier, NFC

[uenoku]

Drop .dpi of sim.func.dpi.call since it now accepts func.func as well. This PR also adds nicer verifier for sim.func.call to check function types.