va_start and va_end intrinsic

[mchalupa]

llvm intrinsic va_end also modifies memory, so the pta with invalidate should take it into account (+ add tests) and we should instrument it with checks (maybe we do via store/load, don't know, check it).