added moq source to easier look to moq code (instead of decompiling)
added mock verification and property verification