Automatic memory bound checks via proof scripts
Split of memory tests into raw memory access and mmap and adaption to automatic bound checks