Changed command 'sim' to work with a miter by default (replace 'sim -m' by 'sim' in verification applications).
