Additional updates to program_evm_userguide